CatDat

Implication Details

Assumptions: locally presentableself-dual

Conclusions: locally copresentable

Proof: This holds by self-duality.

Show 6 categories using this implication